- самодистрибутивность
- autodistributivity матем.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
дедукции теорема — ДЕДУКЦИИ ТЕОРЕМА (от лат. deductio выведение) утверждение о свойствах логической теории. Д. т. гласит: «Если имеется вывод Г, А ( В, то имеется также и вывод Г J А > В, где > знак импликации, Г произвольное (возможно пустое)… … Энциклопедия эпистемологии и философии науки